Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
291	Finite-time Regional Verification of Stochastic Nonlinear Systems Jacob Steinhardt Department of Mathematics Massachusetts Institute of Technology Cambridge, Massachusetts[removed]Email: [removed] Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2012-09-02 10:48:22 Martingale Markov chain Optional stopping theorem Continuous function Wiener process Stochastic differential equation Itō diffusion Harris chain Statistics Stochastic processes Martingale theory
292	Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates Andrew J. Barry, Anirudha Majumdar, and Russ Tedrake Abstract— Unmanned aerial vehicles (UAVs) have a so-f Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2012-02-11 15:34:15 Operations research Mathematical optimization Dynamical systems Control theory Cybernetics Linear programming Interior point method Convex optimization Vector space Mathematics Algebra Mathematical analysis
293	Algebraic Verification for Parameterized Motion Planning Libraries Anirudha Majumdar, Mark Tobenkin, and Russ Tedrake Abstract— Recent progress in algorithms for estimating regions of attraction and invariant sets of n Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2012-03-16 00:15:18 Dynamical systems Optimal control Algebraic Riccati equation Equations Matrices Lyapunov equation Continuous function Differential of a function Kinematics Mathematical analysis Mathematics Measure theory
294	LQR-Trees: Feedback Motion Planning via Sums-of-Squares Verification∗ Russ Tedrake, Ian R. Manchester, Mark Tobenkin, John W. Roberts Computer Science and Artificial Intelligence Lab Massachusetts Institute of Technolo Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2010-02-27 21:36:19 Dynamical systems Stability theory Mathematical optimization Nonlinear control Lyapunov stability Lyapunov function Trajectory optimization Feedback linearization Linear programming Systems theory Control theory Mathematics
295	Verification Information Related to Community Eligibility Provision (CEP) Add to Reading List Source URL: www.isbe.net Language: English - Date: 2013-11-13 16:35:27
296	Active Structural Control Verification by using Real-Time Structural Simulator Add to Reading List Source URL: mceer.buffalo.edu Language: English - Date: 2007-06-15 12:02:28 Control engineering Cybernetics Control theory Automation Digital signal processor Data acquisition Analog-to-digital converter Control system PID controller Systems theory Technology Digital signal processing
297	AGENDA FINANCIAL SERVICES COMMISSION Office of Insurance Regulation Materials Available on the Web at: www.floir.com/fsc.aspx Add to Reading List Source URL: www.floir.com Language: English - Date: 2010-11-23 14:52:55 Attachment theory Insurance Bill McCollum Human behavior Personal life Behavior Systems engineering Verification
298	PDF Document Add to Reading List Source URL: www.mercedes-benzsa.co.za Language: English - Date: 2011-03-31 04:57:45 Black Economic Empowerment Verification Public key certificate Procurement Systems science Business Systems theory Qualifying Small Enterprises Economy of South Africa Systems engineering Broad-Based Black Economic Empowerment
299	VERIFICATION OF THE NOAA-EPA AIR QUALITY FORECASTS FOR SUMMER 2005 Add to Reading List Source URL: csc.noaa.gov Language: English - Date: 2013-07-24 16:10:17 Estimation theory Parametric statistics Actuarial science Linear regression Plot Correlation and dependence Statistics Regression analysis Econometrics
300	VERIFICATION OF THE NOAA-EPA AIR QUALITY FORECASTS FOR SUMMER 2005 Add to Reading List Source URL: www.csc.noaa.gov Language: English - Date: 2013-07-24 16:10:17 Estimation theory Parametric statistics Actuarial science Linear regression Plot Correlation and dependence Statistics Regression analysis Econometrics

UPDATE